Inferencia lógica con tablas de verdad